COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.at "∪"⊂"%d"⊃
C00003 00003	.at "?≤"⊂"%f≤%1"⊃ 
C00004 00004	.at "↓β"⊂"%4β%1"⊃
C00005 00005	.at "T"⊂"%dTT%1"⊃
C00006 00006	.at "πP1"⊂"%eP%41%1"⊃
C00007 00007	.at "!t"⊂"%et%1"⊃
C00008 ENDMK
C⊗;
.at "∪"⊂"%d"⊃
.at "∩"⊂"%1"⊃
.at "$A"⊂"%6A%f(%1"⊃
.at "?A"⊂"%6A%1"⊃
.at "$C"⊂"%2Comp%1"⊃
.at "$e"⊂"%2Eval%1"⊃

.at "?≤"⊂"%f≤%1"⊃ 
.at "?t1n"⊂"%dt%41%1,#...,#%dt%4n%1"⊃
.at "?s1n"⊂"%ds%41%1,#...,#%ds%4n%1"⊃
.at "?t1N"⊂"%dt%41%1#...#%dt%4n%1"⊃
.at "?t2N"⊂"%dt%42%1#...#%dt%4n%1"⊃
.at "?x3"⊂"%dx%43%1"⊃
.at "?x4"⊂"%dx%44%1"⊃
.at "?t1"⊂"%dt%41%1"⊃

.at "?t"⊂"%dt%1"⊃
.at "?u"⊂"%du%1"⊃
.at "?s"⊂"%ds%1"⊃
.at "?c"⊂"%dc%1"⊃
.at "↓β"⊂"%4β%1"⊃
.at "↓tβ"⊂"%4tr→β→β→β%1"⊃
.at "↓t"⊂"%4tr%1"⊃
.at "↓i"⊂"%4ind%1"⊃
.at "↓3β"⊂"%4(β→β)→β%1"⊃
.at "↓12"⊂"%4β1→β2%1"⊃
.at "↓1"⊂"%4β1%1"⊃
.at "↓2"⊂"%4β2%1"⊃

.at "⊗T"⊂"%dTT%1"⊃
.at "⊗F"⊂"%dFF%1"⊃
.at "⊗U"⊂"%dUU%1"⊃

.at "⊗Y"⊂"%dY%1"⊃

.at "⊗i"⊂"%3ind%1"⊃
.at "⊗t"⊂"%3tr%1"⊃

.at "πP1"⊂"%eP%41%1"⊃
.at "πP3"⊂"%eP%43%1"⊃
.at "πP2"⊂"%eP%42%1"⊃
.at "πP"⊂"%eP%1"⊃


.at "πQ1"⊂"%eQ%41%1"⊃
.at "πQ2"⊂"%eQ%42%1"⊃
.at "πQ"⊂"%eQ%1"⊃

.at "πZ"⊂"%2Z%1"⊃
.at "πF"⊂"%2F%1"⊃
.at "πh"⊂"%2h%1"⊃
.at "πxi"⊂"%2x%4i%1"⊃

.at "!t"⊂"%et%1"⊃
.at "!f"⊂"%ef%1"⊃
.at "!x"⊂"%gx%1"⊃ <<cse>>
.at "!g"⊂"%gg%1"⊃ <<gamma>>
.at "!T"⊂"%3true%1"⊃ 
.at "!F"⊂"%3false%1"⊃